Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
971	normal proofs, cut free derivations and structural rules Greg Restall* School of Historical and Philosophical Studies, The University of Melbourne, Add to Reading List Source URL: consequently.org Language: English - Date: 2015-02-12 20:35:36 Mathematics Propositional calculus Deduction Natural deduction System L Modus ponens Cut-elimination theorem Sequent calculus Rule of inference Logic Mathematical logic Proof theory
972	Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were d Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-02-27 11:22:42 Lambda calculus Proof theory Logic in computer science Type theory Dependently typed programming Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Mathematics Theoretical computer science
973	Axioms is a work that explores the true nature of human knowledge, in particular the fundamental nature of deductive and inductive reasoning. It begins by embracing Hume’s Skepticism and Descartes’ one “certain” Add to Reading List Source URL: www.phy.duke.edu Language: English - Date: 2010-01-21 13:21:16 Philosophy of mathematics Mathematical logic Philosophy of science Scientific method Axiom Formalism Set theory Modal logic Mathematical proof Mathematics Science Logic
974	More Proofs of Divergence of the Harmonic Series Steven J. Kifowit Prairie State College In an earlier article, Kifowit and Stamps [13] summarized a number of elementary proofs of divergence of the harmonic series: ∞ Add to Reading List Source URL: stevekifowit.com Language: English - Date: 2014-05-17 12:20:20 Calculus Harmonic series Fibonacci number Pi Proof that π is irrational Divergence of the sum of the reciprocals of the primes Mathematical analysis Mathematics Mathematical series
975	return to updates We Watch Pascal Muck up a Proof by Miles Mathis I have shown many of the most famous physicists and mathematicians in history finessing proofs, Add to Reading List Source URL: milesmathis.com Language: English - Date: 2012-10-21 01:33:21 Curves Integral calculus Area Differential topology Sphere Topology Circle Surface area Archimedes Geometry Mathematical analysis Mathematics
976	Speculative Reduction-Based Scalable Redundancy Identification Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:49:55 Applied mathematics Theoretical computer science Logic Electronic design automation Mathematical induction Proof theory Mathematical proof Formal verification And-inverter graph Mathematics Mathematical logic Formal methods
977	Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:28 Science Mathematical induction Mathematical proof First-order logic Algorithm Unification Recursion Function Inductive reasoning Logic Mathematics Mathematical logic
978	Hindawi Publishing Corporation Modelling and Simulation in Engineering Volume 2012, Article ID[removed], 17 pages doi:[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 04:27:49 Mathematics Mathematical analysis Proof theory Logic Isotope lists 73-96 Exponential distribution Exponentials Ordinal number
979	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:42:18 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
980	A short proof of the logarithmic Bramson correction in Fisher-KPP equations Fran¸cois Hamel∗ James Nolen† Add to Reading List Source URL: math.duke.edu Language: English - Date: 2012-05-07 08:57:26 Operator theory Reaction–diffusion system Ordinary differential equations Spectral theory Itō diffusion Spectral theory of ordinary differential equations Mathematical analysis Heat equation Heat transfer